#include <stdio.h>
#include "getexeccounts.h"

int main(){
  int num[4]={0,0,0,0};
  char *name[] ={"fork", "vfork", "execve", "clone"};
  int i;
  int pid = 22114;
  printf("pid %d:\n", pid);
  getExecCounts(pid, num);
  for(i=0; i<4 ;i++){
    printf("\t%d\t%s\n", num[i], name[i]);
  }
  return 0;
}
